OpenMath, IAMC and GAP
نویسندگان
چکیده
One of the aims of establishing the OpenMath standard is to support Internet Accessible Mathematical Computation (IAMC). The Esprit OpenMath project is, in part, concerned with determining the details of how this is to be done. In this paper we explore the framework proposed by Wang as a standard approach to IAMC and identify issues and design principles to guide further development of an IAMC standard.
منابع مشابه
IAMC: Internet Accessible Mathematical Computation
IAMC aims to make mathematical computation services easily accessible on the Internet. The IAMC design leverages existing technologies and makes it possible to access services through TCP/IP, the Web, or email. The overall IAMC architecture, the object-oriented design of a prototype IAMC client and server, as well as the initial speci cation of the Mathematical Computation Protocol which connec...
متن کاملBuilding IAMC: A Layered Approach
Internet Accessible Mathematical Computation (IAMC) is a distributed system to make mathematical computation easily and widely available on the Web/Internet. The architecture and implementation of a framework for building IAMC systems are presented. Protocol layers, allowing any well-de ned encodings for mathematical data, connect the IAMC client (Icl) and server (Isv). An external engine inter...
متن کاملInterfacing Coq + SSReflect with GAP
We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It allows Coq to issue OpenMath requests to a local or remote GAP instances and represent server responses as Coq terms.
متن کاملMMT Objects
Mmt is a mathematical knowledge representation language, whose object layer is strongly inspired by OpenMath. In fact, the first version of the Mmt system implemented exactly OpenMath objects. But over time Mmt has evolved and deviated from OpenMath in some respects. Some of these deviations are experimental or specific to Mmt applications, but others may be interesting for future versions of O...
متن کاملOpenMath in SCIEnce: SCSCP and POPCORN
In this short communication we want to give an overview of how OpenMath is used in the European project “SCIEnce” [12]. The main aim of this project is to allow unified communication between different computer algebra systems (CASes) or different instances of one CAS. This may involve one or more computers, clusters, and even grids. The main topics are the use of OpenMath to marshal mathematica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999